ISML: An Interface Specification Meta-language

نویسندگان

  • Simon Crowle
  • Linda Hole
چکیده

In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pattern-driven Model-based User-Interface Development

tasks Tasks which require complex activities whose performance cannot be univocally allocated. A user session with a system. The phases three to five are supported by the Teresa (Transformation Environment for Interactive Systems Representations, [Mori et al. 2004]) environment, a software tool for semi-automatic design of user-interfaces beginning with a CTT task specification. It provides sug...

متن کامل

Specification of Graphical Representations - using hypergraphs or meta-models?

This paper presents the essence of a larger study related to graphical languages and how their syntax is specified formally. The existing approaches for graphical language specification could be divided into two main categories: the traditional grammar-based approaches and the more modern meta-model-based approaches. The work presented in this paper is based on a comparison of two formalisms, o...

متن کامل

A case in Multiparadigm Programming : User Interfaces by means of Declarative Meta Programming

Because there is currently no formal way to specify user interfaces, nor a clean way to decouple a user interface from its application code, we propose in this position paper the use of Declarative Meta Programming (DMP) to solve these problems. DMP uses facts and rules to write down a user interface in a declarative way, and will provide a more formal way to specify user interfaces. Furthermor...

متن کامل

Perceiving the GUISE: Graphical User Interface Specification Extraction

We present a dynamic control-flow analysis and state classifier for graphical user interfaces. Search engines, end-user programming interfaces, and automated testers exploit such information, but are challenged by clientside and serverside scripts obscuring it: our analysis succeeds on popular web applications that contain both. We further motivate such analyses. First, we introduce a new type ...

متن کامل

DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications

DML, the Denotational Meta Language, is a specification language and a compiler generation tool for producing practical and efficient compilers from Denotational Semantics specifications. This means that code emitted from generated compilers should be product quality, and that generated compilers should have reasonable compilation speed, and interface well with standard frontends and back-ends....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003